$\forall$$A$,$B$:$\mathbb{P}$. ($\neg$($A$ $\vee$ $B$)) $\Leftarrow\!\Rightarrow$ \{($\neg$$A$) $\wedge$ ($\neg$$B$)\}